التحقق والإثبات للبرمجيـات، فحص البرمجيات، فحص المكونـات، الفحص المتكامل للبرمجيات، فحص النظام، تقنيات الفحص، الاثبات والتحقق والطرق المنهجية، اقرار شرعية الأنظمة الحرجة، الانظمة القابلة للتحول، هيكلية كريبكي، منطقية الانسياب الوقتي، منطقية الحسبة الشجرية، أشكال القرار الثنائي، نمذجة الأنظمة الزمنية الحقيقية، الخوارزميات المتبعة لاثبات أنظمة الزمن الحقيقي.